A logic with approximate conditional probabilities that can model default reasoning
نویسندگان
چکیده
منابع مشابه
A Logic for Default Reasoning About Probabilities
A logic is defined that allows to express in formation about statistical probabilities and about degrees of belief in specific proposi tions. By interpreting the two types of proba bilities in one common probability space, the semantics given are well suited to model the influence of statistical information on the for mation of subjective beliefs. Cross entropy minimization is a key element...
متن کاملA Logic with Big-stepped Probabilities That Can Model Nonmonotonic Reasoning of System P
We develop a sound and strongly complete axiomatic system for probabilistic logic in which we can model nonmonotonic (or default) reasoning. We discuss the connection between previously developed logics and the two sublogics of the logic presented here.
متن کاملDefault reasoning about probabilities
Acknowledgments First and foremost I would like to thank Harald Ganzinger and Hans J urgen Ohlbach who provided me with the opportunity to conduct this research at the Max-Planck-Institute for Computer Science. Here I found a perfect environment that gave me all the freedom I wanted and every support I needed. Hans J urgen put me on the track of probabilistic reasoning in terminological logics....
متن کاملA Logic with Higher Order Conditional Probabilities
We investigate probability logic with the conditional probability operators. This logic, denoted LCP , allows making statements such as: P sα, CP s(α | β), CP 0(α | β) with the intended meaning “the probability of α is at least s”, “the conditional probability of α given β is at least s”, “the conditional probability of α given β at most 0”. A possible-world approach is proposed to give semanti...
متن کاملA Logic with Kolmogorov Style Conditional Probabilities
In this paper we investigate a probability logic with conditional probability operators. The logic (denoted LPP ) allows making statements such as CP≥s(α | β), with the intended meaning ”the conditional probability of α given β is at least s”. Conditional probabilities are defined in the usual Kolmogorv style: P (α | β) = P (α∧β) P (β) , P (β) > 0. A possible-world approach is used to give sema...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 2008
ISSN: 0888-613X
DOI: 10.1016/j.ijar.2007.08.006